Verifying Synchronous Reactive Systems Programmed in ESTEREL
نویسندگان
چکیده
منابع مشابه
A Translation of Statecharts to EsterelS
Statecharts and Esterel are two formalisms that have been widely used in the development of reactive systems. Statecharts are a powerful graphical formalism for system speciication. Esterel is a rich synchronous programming language with supporting tools for formal veriication. In this paper, we propose a translation of Statecharts to Esterel and discuss such an implementation. A characteristic...
متن کاملVerifying a Time-Triggered Protocol in a Multi-language Environment
The multi-language environment Synchronie supports the design and formal veriication of synchronous reactive systems. Presently, Synchronie integrates three synchronous languages, Esterel, Lustre, and Argos. In the synchronous approach, not only the system but also its properties can be speciied using a synchronous language. In Syn-chronie properties can be formalised textually as Esterel or Lu...
متن کاملRepresentation and Analysis of Reactive Behaviors: A Synchronous Approach
Reactive systems involve communication, concurrency and preemption. Few models support these three concepts, even less can correctly deal with their coexistence. The synchronous paradigm allows a rigourous approach to this problem, crucial to reactive systems. This paper analyzes the underlying hypotheses of the synchronous approach. Reactive behaviors are characterized. A new visual model (SYN...
متن کاملReactive C: An Extension of C to Program Reactive Systems
Reactive systems are interactive programs that react continuously to sequences of activations coming from the external world. Reactive programming leads to a new programming style where one programs in terms of reactions to activations and reasons in a logic of instants. This paper describes an extension of the C programming language called RC (for ‘Reactive C’) to program reactive systems. The...
متن کاملHW/SW Co-Design for a Reactive Processor
This paper presents an approach to accelerate reactive processing via an external logic block that handles complex signal expressions. A reactive program, programmed in the synchronous language Esterel, is synthesized into a software component, running on the Kiel Esterel Processor, and a hardware component, consisting of simple combinational logic. The transformation process involves a two-ste...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 1996